Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
491	Secure Multi-Execution: Fine-grained, Declassification-aware, and Transparent Willard Rafnsson Andrei Sabelfeld Chalmers University of Technology, Gothenburg, Sweden Abstract—Recently, much progress has been made on a Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-04-29 05:32:43 Universal algebra Mathematics Models of computation Logic Automata theory Model theory Structure
492	K-THEORETIC SCHUBERT CALCULUS FOR OG(n, 2n + 1) AND JEU DE TAQUIN FOR SHIFTED INCREASING TABLEAUX EDWARD CLIFFORD, HUGH THOMAS, AND ALEXANDER YONG Abstract. We present a proof of a Littlewood-Richardson rule for the K-th Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2010-08-14 13:11:11 Symmetric functions Representation theory Algebraic combinatorics Lambda calculus Young tableau Littlewood–Richardson rule Jeu de taquin Combinatory logic Abstract algebra Algebra Mathematics
493	Generation of verification conditions for Abadi and Leino’s Logic of Objects [Extended Abstract] Francis Tang ∗ Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2002-01-23 08:33:01 Model theory Metalogic Deduction First-order logic Predicate logic Euclidean algorithm Symbol Interpretation Function Logic Mathematics Mathematical logic
494	On two lower bound constructions Adrian Dumitrescu Computer Science, Rutgers University e-mail: Abstract Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2003-06-20 16:03:56 Crossing number Ordinal numbers Set theory Symbol Mathematics Mathematical logic Tree
495	DIMACS Series in Discrete Mathematics and Theoretical Computer Science Using Global Constraints for Local Search Alexander Nareyek Abstract. Conventional ways of using local search are dicult to generalize. Add to Reading List Source URL: www.ai-center.com Language: English - Date: 2010-04-02 04:54:45 Computing Constraint satisfaction Constraint optimization Local search Mathematical optimization Constraint Local consistency Constraint logic programming Constraint programming Software engineering Computer programming
496	Keio University Thesis Abstract No. Registration Add to Reading List Source URL: www.flet.keio.ac.jp Language: English - Date: 2011-01-29 07:57:49 Logical syntax Formal languages Formal systems Logical truth Diagrammatic reasoning Mathematical proof Linear logic Formal proof Mathematical logic Logic Mathematics Proof theory
497	Implementation Notes for the Termination-Guaranteeing Binding-Time Analysis Arne John Glenstrup December 13, 2002 Abstract This note describes some of the implementation aspects of the termination analysis for partial ev Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:50 Symbol Spectral theory of ordinary differential equations Linear temporal logic
498	CCCG 2014, Halifax, Nova Scotia, August 11–13, 2014 On the d-Runaway Rectangle Escape Problem Aniket Basu Roy∗, Sathish Govindarajan∗, Neeldhara Misra∗, Shreyas Shetty∗ Abstract Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2014-06-21 03:29:30 Logic Quadrilaterals Rectangle Bin Algorithm Special case R-tree Hilbert R-tree Packing problem Mathematical logic Geometry Mathematics
499	REES: Reasoning Engine(s) Evaluation Shell Radu Marinescu, Kalev Kask and Rina Dechter School of Information and Computer Science University of California, Irvine {radum,kkask,} Abstract Add to Reading List Source URL: graphmod.ics.uci.edu Language: English - Date: 2009-05-10 16:30:49 Theoretical computer science Graphical models Applied mathematics Algorithm Mathematical logic Mathematical sciences Bayesian network Plug-in Parameter Bayesian statistics Statistical models Mathematics
500	Microsoft Word - AbstractionSoSyM1072.doc Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2013-07-03 05:47:55 Abstraction Philosophy of mind Data management Programming language Abstract art Concept Formal specification Logic simulation Abstraction principle Thought Mind Cognition

UPDATE